Nuprl Definition : es-haslnk
0,22
postcript
pdf
haslnk(
l
;
e
) == isrcv(
e
)
lnk(
e
) =
l
latex
clarification:
es-haslnk(
es
;
l
;
e
) == es-isrcv(
es
;
e
)
es-lnk(
es
;
e
) =
l
latex
Definitions
p
q
,
isrcv(
e
)
,
a
=
b
,
lnk(
e
)
FDL editor aliases
es-haslnk
origin
lnk(e) = l
es-lnk(es; e) = l lnk(e) = l
es-lnk(es; e) = l q